221. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979
پدیدآورنده : edited by K. Weihrauch
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
67
222. Theoretical computer science : 6th GI conference, Dortmund, January 5-7, 1983
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1983
223. Theoretical computer science : 5th GI conference, karlsruhe, March 23-25, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1981
224. Theoretische Informatik :
پدیدآورنده : von Ingo Wegener.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages.,Machine theory.,Theory of computer science.
225. Theory of Finite Automata
پدیدآورنده : \ John Carroll, Darrell Long.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages,زبانهای صوری,a04,a04,Sequential machine theory.,ماشین حالت‌های متناهی
رده :
E-Book
,
226. Theory of automata /
پدیدآورنده : Arto Salomaa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages.,Power series.,Sequential machine theory.
رده :
QA267
.
5
.
S4
S3
1969
227. Theory of automata
پدیدآورنده : Salomaa, Arto.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4
.
S3
1969
228. Theory of finite automata
پدیدآورنده : Carroll, John
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4
C35
1989
229. Theory of finite automata : with an introduction to formal languages
پدیدآورنده : Carroll, John
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4C35
1989
230. Theory of finite automata : with and introduction to formal languages
پدیدآورنده : Carroll, John
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Sequential machine theory , Formal languages
رده :
QA
267
.
5
.
S4
C35
231. #Theory of machines and computations
پدیدآورنده : #Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Sequential machine theory -- Congresses ،Formal languages -- Congresses ،Switching theory -- Congresses ،Numerical calculations -- Congresses
رده :
#
QA
،#.
I58
،#
1971
232. Theory of machines and computations; proceedings
پدیدآورنده : Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Switching theory,Congresses ، Numerical calculations
رده :
QA
266
.
I58
1971
233. Theory of machines and computations; proceedings
پدیدآورنده : International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
234. Word processing in groups
پدیدآورنده : Epstein, David B. A.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory,، Group theory,، Formal languages
رده :
QA
267
.
5
.
S4E6
235. Words, Semigroups & Transductions :
پدیدآورنده : editors, Masami Ito, Gheorghe Păun, Sheng Yu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages.,Group theory.,Machine theory.,Formal languages.,Group theory.,Machine theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA267
.
3
.
W67
2001eb
236. Words, languages, and combinatorics III
پدیدآورنده : editors, Masami Ito, Teruo Imaoka.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Semigroups, Congresses.
237. نظریه زبان ها و ماشین ها
پدیدآورنده : / نگارش محمد رستمی، الهه نشاط
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : زبانهای صوری,Formal languages,نظریه ماشین,Machine theory
رده :
QA
۲۶۷
/
۳
/
ر
۵
ن
۶ ۱۳۹۷
238. نظریه زبان ها و ماشین ها
پدیدآورنده : مولف: فردین شاپوری,شاپوری? فردین
کتابخانه: كتابخانه مركزی و مركز اسناد شهيد مطهری دانشگاه رازى (کرمانشاه)
موضوع : نظریه ماشین Machine theory زبان های صوری Formal languages
رده :
QA
267
/
ش
2
ن
6
239. نظریه زبان‌ها و ماشین‌ها
پدیدآورنده : / مولف فردین شاپوری
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : نظریه ماشین,Machine theory,زبانهای صوری,Formal languages
رده :
QA
۲۶۷
/
۳
/
ش
۲
ن
۶ ۱۳۹۶
240. نظریه زبان‌ها و ماشین‌ها
پدیدآورنده : / مولف مجتبی پورمحقق,پشت جلد به انگلیسی: M. Pourmohaghegh. Theory of formal languages & automota.,پورمحقق
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : زبانهای صوری,Formal languages,زبانهای صوری,Formal languages,نظریه ماشین,Machine theory,نظریه ماشین,Machine theory,دانشگاه‌ها و مدارس عالی,Universities and colleges,آزمون دوره‌های تحصیلات تکمیلی,Graduate Record Examination , -- آزمون‌ها و تمرین‌ها (عالی), -- Examinations, questions, etc. (Higher), -- آزمون‌ها و تمرین‌ها (عالی), -- Examinations, questions, etc. (Higher), -- راهنمای آموزشی (عالی), -- Study and teaching (Higher), -- راهنمای آموزشی (عالی), -- Study and teaching (Higher), -- آزمون‌ها, -- Examinations, -- ایران, --Iran, -- ایران, -- Iran
رده :
LB
۲۳۵۳
/
پ
۹۴۱
ن
۶ ۱۳۹۹
